[IA64] xencons command line parameter is now an integer

'xencons' command line is now an integer, so that it can be disabled.

Signed-off-by: Tristan Gingold <tristan.gingold@bull.net>

diff --git a/xen/arch/ia64/xen/xensetup.c b/xen/arch/ia64/xen/xensetup.c
index be9484d0b31f4025f9f849a54b6b4ab34ae28277..2fcab3ea145d7f2cfaa4e11f383a72a30da1416a 100644 (file)
--- a/xen/arch/ia64/xen/xensetup.c
+++ b/xen/arch/ia64/xen/xensetup.c
@@ -66,7 +66,7 @@ integer_param("maxcpus", max_cpus);
    Note: you have to disable 8250 serials in domains (to avoid use of the
    same resource).  */
 static int opt_xencons = 1;
-boolean_param("xencons", opt_xencons);
+integer_param("xencons", opt_xencons);
 
 /* Toggle to allow non-legacy xencons UARTs to run in polling mode */
 static int opt_xencons_poll = 0;